<html>
<body>
Reports any <b>catch</b> parameters that are unused in their
corresponding blocks. This inspection will not report any <b>catch</b> parameters
named "ignore" or "ignored". Conversely this inspection will warn on any 
<b>catch</b> parameters named "ignore" or "ignored" that are actually used.
<!-- tooltip end -->
<p>
Use the first checkbox below to disable this inspection for <b>catch</b> blocks with comments.
<p>

</body>
</html>